Better Management Tools for Front-Line Laboratories

Mining Tools Front End Tools Users IMS

In the recent years, the database community has witnessed the emergence of a new technology, namely data warehousing. A data warehouse is a global repository that stores pre-processed queries on data which resides in multiple, possibly heterogeneous, operational or legacy sources. The information stored in the data warehouse can be easily and eeciently accessed for making eeective decisions. Th...

Better tools for assessing osteoporosis.

Some 30 years ago, we applied the newly described method of dual photon absorptiometry (DPA) to demonstrate that osteoporotic women with vertebral fractures had lost substantially more bone from the vertebrae than controls. This opened a whole new field of research into the determinants of bone loss and fractures in the axial skeleton and set the stage for subsequent development of dual-energy ...

A Front-End Generator for Verification Tools

This paper describes the Process Algebra Compiler (PAC), a front-end generator for process-algebra-based veriication tools. Given descriptions of a process algebra's concrete and abstract syntax and semantics as structural operational rules, the PAC produces syntactic routines and functions for computing the semantics of programs in the algebra. Using this tool greatly simpliies the task of ada...

A Front-end Generator for Veriication Tools

This paper describes the Process Algebra Compiler (PAC), a front-end generator for process-algebra-based veriication tools. Given descriptions of a process algebra's concrete and abstract syntax and semantics as structural operational rules, the PAC produces syntactic routines and functions for computing the semantics of programs in the algebra. Using this tool greatly sim-pliies the task of ad...

Better management for better schools